|
DWF_DF_01 - A duplicate or a split function must have only one incoming exchange |
|---|---|
| This rule checks that a duplicate or a split function have only one incoming exchange. | |
|
DWF_DF_02 - A gather function must have only one outgoing exchange |
|---|---|
| This rule checks that a gather function must have only one outgoing exchange. | |
|
DWF_DF_03 - Functional chain check |
|---|---|
| This rule checks that a FunctionalChain is valid. | |
|
DWF_DF_04 - Functional chain involvement check 1 |
|---|---|
| This rule checks that a Functional Chain Involvement only involves an Abstract Function, a Functional Exchange or a Functional Chain. | |
|
DWF_DF_05 - Functional chain involved functions active in state |
|---|---|
| This check ensures that all the functions involved in FunctionalChain are also active in modes and states as FunctionChain. | |
|
DWF_DF_06 - Functional Exchange location check |
|---|---|
| This rule ensures that Functional Exchange is located in the common ancestor between its source/target elements. | |
|
DWF_DF_12 - A duplicate, a gather, a route, a select or a split function must be a leaf function |
|---|---|
| This rule check that a duplicate, a gather, a route, a select or a split function must be a leaf function. | |
|
DWF_DF_14 - Functional chain involvement allocated exchange items |
|---|---|
| This rule ensures that a functional chain involvement does not allocate exchange items which are not allocated by involved functional exchange. | |